Labeled Sequent Calculus for Orthologic
نویسندگان
چکیده
منابع مشابه
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
Justification logics are modal-like logics that provide a framework for reasoning about epistemic justifications. This paper introduces labeled sequent calculi for justification logics, as well as for hybrid modal-justification logics. Using the method due to Sara Negri, we internalize the Kripke-style semantics of justification logics, known as Fitting models, within the syntax of the sequent ...
متن کاملSequent Calculus 3.1 Cut-free Sequent Calculus
In the previous chapter we developed linear logic in the form of natural deduction , which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true) and two judgment forms (linear and unrestricted hypothetical judgments) to explain the meaning of all connectives we have encountered so far. However, it is not immediatel...
متن کاملSequent Calculus 3.1 Cut-free Sequent Calculus
In the previous chapter we developed linear logic in the form of natural deduction , which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true) and two judgment forms (linear and unrestricted hypothetical judgments) to explain the meaning of all connectives we have encountered so far. However, it is not well-suite...
متن کاملCut - Free Sequent Calculus For
We aim at an exposition of some nonstandard cut-free Gentzen formalization for S5, called DSC (double sequent calculus). DSC operates on two types of sequents instead of one, and shifting of wffs from one side of sequent to another is regulated by special rules and subject to some restrictions. Despite of this apparent inconvenience it seems to be simpler than other, known Gentzen-style systems...
متن کاملSequent Calculus for Euler Diagrams
Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the style of inference is not directly comparable to traditional sentential systems, to study the the diagrammatic aspects of inference. In this work, we present a proof system for Euler diagrams with shading in the style of sequent calculus. We prove it to be sound and complete. Furthermore we outli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2018
ISSN: 2449-836X,0138-0680
DOI: 10.18778/0138-0680.47.4.01